Do not remove the whole workdir/* on 'make clean'
Also solver/$INPATH is subset of */$INPATH.
This commit is contained in:
parent
ac26f68710
commit
fa97b8ac23
Also solver/$INPATH is subset of */$INPATH.