diff options
author | Joey Hess <joey@kitenet.net> | 2013-05-05 13:46:29 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-05-05 13:46:29 -0400 |
commit | 9e4e5d7356b18080075b10ab2f257921cba7122c (patch) | |
tree | a8bde96704e93473dff449227fa383ee1ff5f9e3 /dh | |
parent | 3558fc5775fffde187ec439f11743e3a75610056 (diff) | |
download | debhelper-9e4e5d7356b18080075b10ab2f257921cba7122c.tar.gz |
whitelist a few user-specified options
Diffstat (limited to 'dh')
-rwxr-xr-x | dh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -575,7 +575,8 @@ while (@ARGV_orig) { } elsif ($opt=~/^-/) { push @options, "-O".$opt; - $user_specified_options=1; + $user_specified_options=1 + unless $opt =~ /^--(parallel|buildsystem|sourcedirectory|builddirectory|)/; } elsif (@options) { $user_specified_options=1; |