Ticket #13361: trac_13361_startuptime_args.patch

File trac_13361_startuptime_args.patch, 647 bytes (added by vbraun, 9 years ago)

Initial patch

  • spkg/bin/sage

    # HG changeset patch
    # User Volker Braun <vbraun@stp.dias.ie>
    # Date 1344815949 14400
    # Node ID 21dde939ff9e4484761eae427d2e1d0aaf44271d
    # Parent  8aad2aea6d3b92ccd1dfd7b4563575dd57cd4908
    Pass through arguments to sage -startuptime [...]
    
    diff --git a/spkg/bin/sage b/spkg/bin/sage
    a b  
    10861086fi
    10871087
    10881088if [ "$1" = '-startuptime' -o "$1" = '--startuptime' ]; then
    1089     python "$SAGE_LOCAL"/bin/sage-startuptime.py
     1089    python "$SAGE_LOCAL"/bin/sage-startuptime.py $@
    10901090    exit $?
    10911091fi
    10921092if [ "$1" = '-gthread' -o "$1" = '-qthread' -o "$1" = '-q4thread' -o "$1" = '-wthread' -o "$1" = '-pylab' ]; then