ghc-doc-index: drop bash-ism (#1146733)
This commit is contained in:
parent
4ebfefdb13
commit
597b182ead
@ -34,5 +34,5 @@ if [ -x "gen_contents_index" -a ! -r "$PKGDIRCACHE.new" -o -n "$DIR_DIFF" ]; the
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
if [ -f $PKGDIRCACHE.new ]; then
|
if [ -f $PKGDIRCACHE.new ]; then
|
||||||
mv -f $PKGDIRCACHE{.new,}
|
mv -f $PKGDIRCACHE.new $PKGDIRCACHE
|
||||||
fi
|
fi
|
||||||
|
Loading…
Reference in New Issue
Block a user