We don't have to build debs on Debian

2026-03-20 16:50:24 +00:00 · 2025-03-16 18:43:04 -05:00
parent 3a94ea3788
commit 8043aabf18
1 changed files with 0 additions and 3 deletions
--- a/makemoduledeb.pl
+++ b/makemoduledeb.pl
@@ -24,9 +24,6 @@ my $copyright_file = "$debian_dir/copyright";
 my $changelog_file = "$debian_dir/changelog";
 my $files_file = "$debian_dir/files";

-r "/etc/debian_version" ||
-	die RED, "makemoduledeb.pl must be run on Debian", RESET;
-
 # Parse command-line args
 my ($force_theme, $url, $upstream, $provides, $debdepends, $debrecommends,
    $no_prefix, $force_usermin, $release, $allow_overwrite, $final_mod,