diff options
Diffstat (limited to 'lang/smlnj/Makefile')
| -rw-r--r-- | lang/smlnj/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/smlnj/Makefile b/lang/smlnj/Makefile index 4c9c6b630e99..afd2d9ee5f1a 100644 --- a/lang/smlnj/Makefile +++ b/lang/smlnj/Makefile @@ -225,7 +225,7 @@ do-build: ./makeml @${ECHO} '(* Removing old libs and heaps: *)' cd ${WRKSRC}/${RECOMPILEDIR} && \ - ${RM} -rf ../../lib && ${MKDIR} ../../lib && \ + ${RM} -r ../../lib && ${MKDIR} ../../lib && \ ${FIND} ../../bin/.heap -name '*.${MLARCH}-bsd' \ \! -name 'sml.${MLARCH}-bsd' -delete -print @${ECHO} '(* Installing the recompiled libs and heap: *)' |