Changeset 063360 in git for make_tar.sh

Timestamp:

Jul 24, 2020, 10:41:00 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

2617fca625d047a0b9890e6ffae1c5f8fe755aad

Parents:

621d20fcc3dc769e5683f90e0b9efd198986ac1c

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2020-07-24 22:41:00+02:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2020-07-24 22:41:50+02:00

Message:

add sanity check to make_tar.sh

File:

• make_tar.sh (modified) (3 diffs)

make_tar.sh

@@ -1 +1 @@
 #!/usr/bin/env bash
 # Hannes helper to build tar files for the ftp server
+# for the patch-versions (version between official releases x.x.x)
+# for official versions: use "make dist"/"make distcheck"
 
 set -e
@@ -9 +11 @@
 BUILD_DIR=/tmp2/wawa
 export VERSION TARVERSION INSTALL_DIR BUILD_DIR
+
+# sanity check
+if test -e $BUILD_DIR/singularconfig.h
+then
 
 git archive --prefix=singular-$VERSION/ HEAD |tar xf -
@@ -41 +47 @@
 gzip -9 -f singular-$TARVERSION.tar
 command rm -rf singular-$VERSION
+
+else
+  echo BUILD_DIR is not set correctly, use
+  echo make dist
+  echo in a configured directory
+  exit 1
+fi