#! /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
exit 0
;;
'-trace-call-location')
- list_add_not_empty CMDLINE "-DTRACE_CALL_LOCATION"
+ list_add_not_empty CMDARGS "-DTRACE_CALL_LOCATION"
;;
'-compiler-version' | '--compiler-version')
${CC} --version