Ticket #10637: trac_10637_missing_exec.patch

File trac_10637_missing_exec.patch, 497 bytes (added by dimpase, 8 years ago)

adding missing exec in spkg/bin/sage

  • spkg/bin/sage

    # HG changeset patch
    # User Dmitrii Pasechnik <dimpase@gmail.com>
    # Date 1370703777 -28800
    # Node ID fe171f392eca27d3c07290c293c60fe6caed0cdd
    # Parent  7235a2a9edda8013552ab44dfbc575fffd994d2a
    adding missing exec
    
    diff --git a/spkg/bin/sage b/spkg/bin/sage
    a b  
    393393
    394394if [ "$1" = '-sws2rst' -o "$1" = '--sws2rst' ]; then
    395395    shift
    396     sage-sws2rst "$@"
     396    exec sage-sws2rst "$@"
    397397fi   
    398398
    399399if [ "$1" = '-twistd' -o "$1" = '--twistd' ]; then