Generating Software from Specifications WS 2013/14 - File checkdev
#!/bin/sh
rm -f result *.DIFF *.MSG
for f in `ls *.dsl`
do
rm -f tmpM tmpD tmpS
# echo "$f"
../../DSL.fw.exe $f &>tmpM
sort tmpM -o tmpM
if ! test -f $f".cmp"
then echo "Please provide cmp file content" > $f".cmp"
fi
sort $f".cmp" -o tmpS
diff tmpM tmpS >tmpD
if test -s tmpD
then mv tmpD $f".DIFF"
mv tmpM $f".MSG"
echo $f DIFF
else echo $f OK
fi
done
rm -f tmpM tmpD tmpS
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 18.12.2013