Juan RP 5243eab739 Makefile: in the check target always remove "./result*". ...

... otherwise you need to remove them manually when re-running
'make check'.

2019-04-19 22:57:42 +02:00

1.0 KiB

Raw Blame History

View Raw