#!/bin/sh # This test is for issue #9 on github. set -ev rm -rf $0.dir mkdir $0.dir cd $0.dir cat > top.fac < foo/bar < foo | mkdir foo/subdir < foo | mkdir foo/subdir/subsub < foo/subdir | echo awesome > foo/subdir/subsub/great < foo/subdir/subsub | mkdir foo/subdir2 < foo EOF git init git add top.fac ${FAC:-../../fac} grep welcome foo/bar grep awesome foo/subdir/subsub/great test -d foo cat top.fac.tum ${FAC:-../../fac} -c if grep welcome foo/bar; then echo foo/bar should have been deleted exit 1 fi if test -d foo; then echo directory foo should have been deleted exit 1 fi exit 0