Skip to content
Snippets Groups Projects
Commit 32646cc1 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[ivette] fix USER pwd in ivette bootstrap

parent e543a35e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/ivette-bootstrap.sh
+ 2
− 5
View file @ 32646cc1
...@@ -26,7 +26,7 @@ ...@@ -26,7 +26,7 @@
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
echo "Building Ivette" echo "Building Ivette"
PWD=`pwd` USERCWD=`pwd`
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
...@@ -110,16 +110,13 @@ then ...@@ -110,16 +110,13 @@ then
rm -fr $TMPDIR rm -fr $TMPDIR
exit 3 exit 3
fi fi
cd $PWD cd $USERCWD
rm -fr $TMPDIR rm -fr $TMPDIR
rm -f $PREFIX/lib/frama-c/ivette.tgz rm -f $PREFIX/lib/frama-c/ivette.tgz
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
echo "Launching Ivette..." echo "Launching Ivette..."
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
echo "Temp dir: $TMPDIR"
echo "PREFIX dir: $PREFIX"
echo "Current dir: $PWD"
exec $PREFIX/bin/ivette $* exec $PREFIX/bin/ivette $*
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
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