From: Karl Berry Date: Wed, 1 Jan 2003 14:51:23 +0000 (+0000) Subject: (create-testdir): don't complain if destdir X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f83a3310f8a399579fc7a8abc36186b639a1067e;p=pspp (create-testdir): don't complain if destdir couldn't be created, only if it doesn't exist. --- diff --git a/gnulib-tool b/gnulib-tool index 645b3afe83..0b8f3d7556 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -22,7 +22,7 @@ progname=$0 package=gnulib -cvsdatestamp='$Date: 2003-01-01 14:49:10 $' +cvsdatestamp='$Date: 2003-01-01 14:51:23 $' last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'` version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'` @@ -510,7 +510,9 @@ case $mode in if test -z "$destdir"; then func_fatal_error "please specify --dir option" fi - mkdir "$destdir" || func_fatal_error "could not create destination directory" + mkdir "$destdir" + test -d "$destdir" \ + || func_fatal_error "could not create destination directory" func_create_testdir "$destdir" "$*" ;;