Signed-off-by: Jean Privat <jean@pryen.org>
+# Helper function. Print the error message and set $died to 1
+function die()
+{
+ echo >&2 "error: $*"
+ died=1
+}
# Can be overrided with 'the option -n'
count=2
# Can be overrided with 'the option -n'
count=2
-### HELPER FUNCTIONS ##
-
-function die()
-{
- echo >&2 "error: $*"
- died=1
-}
-
# HELPER FOR NIT #
# Run standards benchs on a compiler command
# HELPER FOR NIT #
# Run standards benchs on a compiler command
# Can be overrided with 'the option -n'
count=2
# Can be overrided with 'the option -n'
count=2
-### HELPER FUNCTIONS ##
-
-function die()
-{
- echo >&2 "error: $*"
- died=1
-}
-
## HANDLE OPTIONS ##
function usage()
## HANDLE OPTIONS ##
function usage()
# Can be overrided with 'the option -n'
count=3
# Can be overrided with 'the option -n'
count=3
-### HELPER FUNCTIONS ##
-
-function die()
-{
- echo >&2 "error: $*"
- died=1
-}
-
## HANDLE OPTIONS ##
function usage()
## HANDLE OPTIONS ##
function usage()
# Can be overrided with 'the option -n'
count=3
# Can be overrided with 'the option -n'
count=3
-### HELPER FUNCTIONS ##
-
-function die()
-{
- echo >&2 "error: $*"
- died=1
-}
-
## HANDLE OPTIONS ##
function usage()
## HANDLE OPTIONS ##
function usage()
# Default number of times the input file is transformed during a single run
s=200
# Default number of times the input file is transformed during a single run
s=200
-### HELPER FUNCTIONS ##
-
-function die()
-{
- echo >&2 "error: $*"
- died=1
-}
-
## HANDLE OPTIONS ##
function usage()
## HANDLE OPTIONS ##
function usage()