Skip to content
Snippets Groups Projects
Commit d3eb8d49 authored by Loïc Correnson's avatar Loïc Correnson Committed by Patrick Baudin
Browse files

[bin] update rebuild scripts

parent f99600ff
No related branches found
No related tags found
Loading
#!/bin/sh
##########################################################################
# #
# This file is part of Frama-C. #
......@@ -21,10 +22,9 @@
##########################################################################
make -k clean
find src \( -name "*.cm*" -or -name "*.o" \) -delete -print
rm -fr _build
rm -fr config.status autom4te.cache/
autoconf -f
./configure
make clean
make depend
make -kj
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment