Commit 43099279 authored by Andre Maroneze's avatar Andre Maroneze 💬

fix frama-c-path.sh

parent 2c681dd0
......@@ -12,5 +12,4 @@ fi
if [ -d $FRAMAC_DIR ]; then
export FRAMAC=$FRAMAC_DIR/frama-c
export FRAMAC_GUI=$FRAMAC_DIR/frama-c-gui
export FRAMAC_CONFIG=$FRAMAC_DIR/frama-c-config
fi
Markdown is supported
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