diff options
-rwxr-xr-x | bin/d-i_build.sh | 2 | ||||
-rwxr-xr-x | bin/d-i_manual.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh index 922ca71f..bc802dda 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -71,7 +71,7 @@ pdebuild_package() { else NUM_CPU=1 fi - pdebuild --use-pdebuild-internal --debbuildopts "-j$NUM_CPU -b" --http-proxy $http_proxy + pdebuild --use-pdebuild-internal --debbuildopts "-j$NUM_CPU -b" -- --http-proxy $http_proxy # cleanup echo cat /var/cache/pbuilder/result/${SOURCE}_*changes diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh index 4e80692f..3e9d2beb 100755 --- a/bin/d-i_manual.sh +++ b/bin/d-i_manual.sh @@ -47,7 +47,7 @@ pdebuild_package() { # cd manual NUM_CPU=$(cat /proc/cpuinfo |grep ^processor|wc -l) - pdebuild --use-pdebuild-internal --debbuildopts "-j$NUM_CPU" --http-proxy $http_proxy + pdebuild --use-pdebuild-internal --debbuildopts "-j$NUM_CPU" -- --http-proxy $http_proxy # # publish and cleanup # |