2018-05-21 16:40:32 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
#
|
|
|
|
|
|
2018-05-22 00:42:07 +00:00
|
|
|
echo "removing output files"
|
2018-05-21 16:40:32 +00:00
|
|
|
rm msgs*.txt
|
|
|
|
|
rm make_msgs.out
|
2018-05-22 00:42:07 +00:00
|
|
|
rm replace_*.out
|
|
|
|
|
rm ./source/*
|
|
|
|
|
rmdir ./source
|
|
|
|
|
echo "step0 finished... press key"
|
|
|
|
|
read
|
