Skip to content
Snippets Groups Projects
Commit 848c023d authored by Loïc Correnson's avatar Loïc Correnson Committed by David Bühler
Browse files

[install] fix incorrect TMPDIR usage

parent 11daac89
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/ivette-bootstrap.sh
+ 5
− 5
View file @ 848c023d
...@@ -87,15 +87,15 @@ fi ...@@ -87,15 +87,15 @@ fi
echo "[2/3] Compiling Ivette" echo "[2/3] Compiling Ivette"
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
TMPDIR=`mktemp -d` IVETTE_TMP_DIR=`mktemp -d`
cd $TMPDIR cd $IVETTE_TMP_DIR
tar zxf $PREFIX/lib/frama-c/ivette.tgz tar zxf $PREFIX/lib/frama-c/ivette.tgz
cd ivette cd ivette
make dist make dist
if [ "$?" != "0" ] if [ "$?" != "0" ]
then then
echo "Compilation Failed" echo "Compilation Failed"
rm -fr $TMPDIR rm -fr $IVETTE_TMP_DIR
exit 2 exit 2
fi fi
...@@ -107,11 +107,11 @@ make PREFIX=$PREFIX install ...@@ -107,11 +107,11 @@ make PREFIX=$PREFIX install
if [ "$?" != "0" ] if [ "$?" != "0" ]
then then
echo "Installation Failed" echo "Installation Failed"
rm -fr $TMPDIR rm -fr $IVETTE_TMP_DIR
exit 3 exit 3
fi fi
cd $USERCWD cd $USERCWD
rm -fr $TMPDIR rm -fr $IVETTE_TMP_DIR
rm -f $PREFIX/lib/frama-c/ivette.tgz rm -f $PREFIX/lib/frama-c/ivette.tgz
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment