Commit 99224123 authored by Andreas Werner's avatar Andreas Werner
Browse files

try to fix execution of frama-c 23

parent efc1b7af
......@@ -22,7 +22,8 @@ if [ $? != 0 ]; then
exit 1
fi
export PATH=`pwd`/gcc-arm-none-eabi/bin:$PATH
ls `pwd`/gcc-arm-none-eabi/bin
ls -la `pwd`/gcc-arm-none-eabi/bin
chmod +x `pwd`/gcc-arm-none-eabi/bin/*
arm-none-eabi-gcc -version
fi
fi
......
Supports Markdown
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