Changeset 6b08c9e in git for make_tar.sh


Ignore:
Timestamp:
Sep 30, 2015, 4:12:48 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
66417b99c7f1ddf1f8ae211e8f3c60c293c730dc
Parents:
fd1c508b3b844b14a70a4c459126ca364442e969
Message:
make_tar.sh: call autogemsh to include configure
File:
1 edited

Legend:

Unmodified
Added
Removed

  • make_tar.sh

    rfd1c508 r6b08c9e  
    66mkdir singular-$VERSION/doc
    77cp doc/*.man singular-$VERSION/doc/.
    8 command rm singular-$VERSION/.gdbinit singular-$VERSION/Singular/.gdbinit
    9 command rm -rf singular-$VERSION/Singular/dyn_modules/bigintm/
     8command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit
    109command rm -rf singular-$VERSION/modules
     10cd singular-$VERSION
     11./autogen.sh
     12cd ..
    1113tar cf singular-$VERSION.tar singular-$VERSION
    1214gzip -9 -f singular-$VERSION.tar
Note: See TracChangeset for help on using the changeset viewer.