Ticket #9533: 9533-improve-spkg-check.patch

File 9533-improve-spkg-check.patch, 628 bytes (added by drkirkby, 9 years ago)

Slightlly simpler spkg-check

  • spkg-check

    # HG changeset patch
    # User David Kirkby <david.kirkby@onetel.net>
    # Date 1279442903 -3600
    # Node ID 765f7a4e484339c58d3c7a47440beb9e99c13719
    # Parent  f5099498cdf71e37ab8c1942878d30fca4fac0d6
    #9533 Make spkg-check a bit simpler - saves a few bytes
    
    diff -r f5099498cdf7 -r 765f7a4e4843 spkg-check
    a b  
    77if [ $? -ne 0 ]; then
    88    echo "Error: make check for GSL failed"
    99    exit 1
    10 else
    11     echo "The self-tests of GSL were successfully passed"
    12     exit 0
    1310fi
     11echo "The self-tests of GSL were successfully passed"
    1412