Commit 8dfc1849 authored by Andreas Werner's avatar Andreas Werner
Browse files

try to debug frama-c 23

parent ec88795e
......@@ -22,10 +22,10 @@ if [ $? != 0 ]; then
exit 1
fi
export PATH=`pwd`/gcc-arm-none-eabi/bin:$PATH
ls -la `pwd`/gcc-arm-none-eabi/bin
`pwd`/gcc-arm-none-eabi/bin/arm-none-eabi-gcc -version
which arm-none-eabi-gcc
arm-none-eabi-gcc -version
ldd arm-none-eabi-gcc
ls -ls /lib/
ls -ls /lib64/
fi
fi
make carFramaC_defconfig
......
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