summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess <joey@kitenet.net>2013-05-05 13:46:29 -0400
committerJoey Hess <joey@kitenet.net>2013-05-05 13:46:29 -0400
commit9e4e5d7356b18080075b10ab2f257921cba7122c (patch)
treea8bde96704e93473dff449227fa383ee1ff5f9e3
parent3558fc5775fffde187ec439f11743e3a75610056 (diff)
whitelist a few user-specified options
-rwxr-xr-xdh3
1 files changed, 2 insertions, 1 deletions
diff --git a/dh b/dh
index 404c7e7a..18a357cf 100755
--- a/dh
+++ b/dh
@@ -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;