exit if configure or make gives error

hy-tsoha · Mar 18, 2021 · 4f8e170 · 4f8e170
1 parent 4f6a834
commit 4f8e170
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/pg-install.sh b/pg-install.sh
@@ -83,8 +83,20 @@ SOURCEDIR=$(basename "$PGFILE" .tar.bz2)
 tar -xjf "$PGFILE"
 cd "$SOURCEDIR" || exit
 ./configure --prefix="$INSTALLDIR" $CONFIGUREOPTIONS
+if [ $? -gt 0 ];
+then
+  exit 1
+fi
 make
+if [ $? -gt 0 ];
+then
+  exit 1
+fi
 make install-strip
+if [ $? -gt 0 ];
+then
+  exit 1
+fi
 
 # update profile file
 env_vars="export LD_LIBRARY_PATH=$INSTALLDIR/lib