diff options
Diffstat (limited to 'pbuilder-checkparams')
| -rwxr-xr-x | pbuilder-checkparams | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pbuilder-checkparams b/pbuilder-checkparams index 4f0c1ef..96cdb1a 100755 --- a/pbuilder-checkparams +++ b/pbuilder-checkparams @@ -28,6 +28,7 @@ BINARY_ARCH="no" PBUILDER_BUILD_LOGFILE= USE_PKGNAME_LOGFILE="" PRESERVE_BUILDPLACE="no" +unset EXTRA_CONFIGFILE #option for user-mode-linux only. IGNORE_UMOUNT="" @@ -91,7 +92,12 @@ while [ -n "$1" ]; do shift; shift; ;; --configfile) + if [ ! -f "$2" ]; then + echo "E: Config file $2 does not exist" >&2 + exit 1 + fi . "$2"; + EXTRA_CONFIGFILE[${#EXTRA_CONFIGFILE[@]}]="$2"; shift; shift; ;; --extrapackages) |