Ticket #10157: 10157_pipestatus.patch

File 10157_pipestatus.patch, 817 bytes (added by jdemeyer, 9 years ago)

sage_scripts patch

  • sage-bdist

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1287834221 -7200
    # Node ID 2aa5931abc4be3c89b365a4a8a600732ac8ae3bd
    # Parent  57bc60b2b41c3c4e83ef765650ea535af1d48fe6
    #10157: copy spkg/pipestatus in binary distributions
    
    diff -r 57bc60b2b41c -r 2aa5931abc4b sage-bdist
    a b  
    7373   mkdir $TMP/$PKGDIR/optional
    7474   cp -$OPT installed $TMP/$PKGDIR/
    7575   cp -$OPT standard $TMP/$PKGDIR/
    76    cp  install README.txt gen_html $TMP/$PKGDIR/
     76   cp  install README.txt gen_html pipestatus $TMP/$PKGDIR/
    7777   cd $TMP/$PKGDIR/standard/
    7878   for F in `/bin/ls *.spkg`; do
    7979       echo "Placeholder spkg file so this binary version of Sage knows this package version used when installing Sage." > $F