Changeset de0db7f in git
- Timestamp:
- Jul 22, 2010, 4:53:05 PM (14 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 237b3e4eb8747703701bf0ed61e0bbd289339b4a
- Parents:
- 6dba49c2e72f7bb14e0739aa4dd0a08628a1ac20
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
r6dba49c rde0db7f 270 270 chmod -R a+rX ${SI_TMPDIR} 271 271 -rm -f ${SI_TMPDIR}/Singular/*/*/*.so 272 -rm -f ${SI_TMPDIR}/Singular/*/*/modgen* 272 273 cd ${SI_TMPDIR}; tar cf - Singular| ${MYGZIP} > ${BINDIST_NAME}-static.tar.gz 273 274 mv ${SI_TMPDIR}/${BINDIST_NAME}-static.tar.gz .
Note: See TracChangeset
for help on using the changeset viewer.