diff --git a/env.sh b/env.sh new file mode 100644 index 0000000..c25d7b4 --- /dev/null +++ b/env.sh @@ -0,0 +1,7 @@ +# to be sourced, it allows to run C programs with libraries in ../lib. +export LD_LIBRARY_PATH=../lib + +# to get the same output than the default (Makefile) one. +# usage: +# TIME command < inputfile +alias TIME='\time -f "\ttime: %E real, %U user, %S sys\n\tcontext-switch:\t%c+%w, page-faults: %F+%R\n"'