diff options
| author | Oliver Eikemeier <eik@FreeBSD.org> | 2004-07-17 23:52:46 +0800 |
|---|---|---|
| committer | Oliver Eikemeier <eik@FreeBSD.org> | 2004-07-17 23:52:46 +0800 |
| commit | 618d6d03836cac5c720832fee782c6228a3304fb (patch) | |
| tree | 7b55aaceba670da5cb29a9678700c975a2cca4e8 /ports-mgmt/portmk | |
| parent | 8586c06561639d207af567b1c31d8b55d06c5a94 (diff) | |
| download | freebsd-ports-gnome-618d6d03836cac5c720832fee782c6228a3304fb.tar.gz freebsd-ports-gnome-618d6d03836cac5c720832fee782c6228a3304fb.tar.zst freebsd-ports-gnome-618d6d03836cac5c720832fee782c6228a3304fb.zip | |
create /var/db/options when it doesn't exist
Diffstat (limited to 'ports-mgmt/portmk')
| -rw-r--r-- | ports-mgmt/portmk/scripts/options.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ports-mgmt/portmk/scripts/options.sh b/ports-mgmt/portmk/scripts/options.sh index b8aa38349e8f..ce3115e5d72a 100644 --- a/ports-mgmt/portmk/scripts/options.sh +++ b/ports-mgmt/portmk/scripts/options.sh @@ -153,6 +153,12 @@ do_edit() { local rc + OPTIONS_DIR="${OPTIONS_FILE%/*}" + if [ ! -d "$OPTIONS_DIR" ] && ! $MKDIR "$OPTIONS_DIR"; then + echo ">> config: Can't create $OPTIONS_DIR." 2>&1 + return 1 + fi + if [ -n "$OPTIONS_OVERRIDE" ]; then OVERRIDE="$OPTIONS_DEFAULT" elif [ "$CURDIR" != `$REALPATH "$MASTERDIR"` ]; then |