michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-06-09 22:40:23 +01:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Merge pull request #2435 from swelljoe/fix-makemoduledeb

Browse Source 
We don't have to build debs on Debian
This commit is contained in:
Joe Cooper
2025-03-16 18:43:50 -05:00
committed by GitHub
parent 3a94ea3788 8043aabf18
commit 1cb53ff00a
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
makemoduledeb.pl
View File

@@ -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,