[Makefile] Refine make target to clean generated test files and
contrib libraries
Showing
- src/plugins/e-acsl/Makefile.in 2 additions, 2 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/contrib/libgmp/Makefile.am 18 additions, 1 deletionsrc/plugins/e-acsl/contrib/libgmp/Makefile.am
- src/plugins/e-acsl/contrib/libgmp/Makefile.in 18 additions, 1 deletionsrc/plugins/e-acsl/contrib/libgmp/Makefile.in
- src/plugins/e-acsl/contrib/libgmp/autom4te.cache/requests 285 additions, 285 deletionssrc/plugins/e-acsl/contrib/libgmp/autom4te.cache/requests
- src/plugins/e-acsl/contrib/libjemalloc/Makefile.in 1 addition, 0 deletionssrc/plugins/e-acsl/contrib/libjemalloc/Makefile.in
Loading
Please register or sign in to comment