#! /bin/sh
-# Copyright (c) 2007-2015. The SimGrid Team.
+# Copyright (c) 2007-2017. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
printf '%b\n' "$SIMGRID_GITHASH"
exit 0
;;
+ '-trace-call-location')
+ list_add_not_empty CMDARGS "-DTRACE_CALL_LOCATION"
+ ;;
'-compiler-version' | '--compiler-version')
${CC} --version
;;