https://github.com/audemard/glucose
Revision 0f482eb98d8a6b271d4daa7c1bdaf0cba828e4c8 authored by audemard on 09 May 2023, 07:12:16 UTC, committed by audemard on 09 May 2023, 07:12:16 UTC
1 parent d763400
Tip revision: 0f482eb98d8a6b271d4daa7c1bdaf0cba828e4c8 authored by audemard on 09 May 2023, 07:12:16 UTC
glucose 1.0
glucose 1.0
Tip revision: 0f482eb
clean.sh
#!/bin/bash
export FM=$PWD/sources/SatElite/ForMani
rm -rf glucose_static
rm -rf SatELite_release
cd sources/SatElite/SatELite
make clean
cd ../../glucose/core
make clean

Computing file changes ...