Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Generating Software from Specifications WS 2013/14 - File checkcon

#!/bin/sh

rm -f result *.DIFF *.RES

for f in `ls *.dsl`
do
        rm -f tmpM
	# echo "$f"
	../../DSL.fw.exe $f &>tmpM
	if test -s tmpM
	then mv tmpM $f".DIFF"
             echo $f ": there are error msgs"
        else echo $f OK
        fi
done
rm -f tmpM

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 18.12.2013