githelper.git/ githelper.pike

2016-12-07

2016-12-07 10:21:24 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• dc003e5a9f59c3c1077440ede1ffa983987a5a31 (15 lines) (+15/-0) ^{[ Show | Annotate ]}
  Branch: master

Added some startup debug code.

This debug is enabled by starting githelper.pike with /bin/sh
(eg via switching the #! directive at the start of the file
to #!/bin/sh).

1:   #! /usr/bin/env pike    + #if 0 /* /bin/sh code below */ + #! The following is debug code to simplify identifying the + #! pike binary that is used when running the helper. + #! It is enabled by prepending the top line of the file + #! with #!/bin/sh +  + type pike +  + echo "$""0: $0" + echo "$""@:" "$@" +  + exec /usr/bin/env pike "$0" "$@" + #endif /* /bin/sh code above */ +    #define DOLLAR "$"   constant unexpanded_id = DOLLAR"Id"DOLLAR;