Changeset 2076d2 in git

Timestamp:

May 19, 1998, 8:14:55 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

26aceae3de087aa21c56fffe6e41d7ca54194718

Parents:

b07a7309c9ce4af1097f209fcbe4f0bccbd68616

Message:

* hannes: changed rm -rf to rm -f at some places


git-svn-id: file:///usr/local/Singular/svn/trunk@1896 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/Makefile.in (modified) (3 diffs)

Singular/Makefile.in

@@ -213 +213 @@
                -DGENERATE_INDEX_TABLE -DHAVE_INDEX_TABLE mmutil.c -o mmutil
         ./mmutil > mmutil.inc
-        rm -rf mmutil
+        rm -f mmutil
 
 mmutil.o mmutil.d: mmutil.inc
@@ -300 +300 @@
 
 clean:
-        -rm -rf Singular* *.o *.og core *.d *.dd *~ \#* /tmp/mp* \
+        -rm -f Singular* *.o *.og core *.d *.dd *~ \#* /tmp/mp* \
                 *.got *dump* *.diff *.dir *.pag
         cd ${docdir}; ${MAKE} clean
 
 distclean: clean
-        -rm -rf depend iparith.inc mpsr_Tok.inc 
-        -rm -rf ${DISTNAME} ${testdir}/out stamp-h
+        -rm -f depend iparith.inc mpsr_Tok.inc 
+        -rm -f ${DISTNAME} ${testdir}/out stamp-h
         -rm mod2.h Makefile TAGS* config.status config.cache config.log
         cd ${docdir}; ${MAKE} distclean
@@ -357 +357 @@
 
 dist:
-        rm -rf ${DISTNAME}.tar* ${TEMPDIR}/${DISTNAME}*
+        rm -f ${DISTNAME}.tar* ${TEMPDIR}/${DISTNAME}*
         mkdir ${TEMPDIR}/${DISTNAME}
         - cp -pR . ${TEMPDIR}/${DISTNAME}
         cd ${TEMPDIR}/${DISTNAME}; ${MAKE} distclean; 
         cd ${TEMPDIR}; tar cf ${DISTNAME}.tar ${DISTNAME} 
-        rm -rf ${TEMPDIR}/${DISTNAME}
+        rm -f ${TEMPDIR}/${DISTNAME}
         - gzip -9 ${TEMPDIR}/${DISTNAME}.tar
         - mv ${TEMPDIR}/${DISTNAME}.tar.gz .