#!/usr/bin/env sh
-# Copyright (c) 2012-2019. The SimGrid Team. All rights reserved.
+# Copyright (c) 2012-2020. The SimGrid Team. All rights reserved.
# This program is free software; you can redistribute it and/or modify it
# under the terms of the license (GNU LGPL) which comes with this package.
NEEDS_OUTPUT=0
shift
;;
+ '-show'|'-compile-info'|'-link-info')
+ # Dry run displaying commands instead of executing them. Useful to cmake
+ show=1
+ ;;
*)
list_add CMDLINE "${ARG}"
;;
list_add_not_empty CMDLINE "${LINKARGS}"
eval $(list_get CMDLINE)
+if [ "x$VERBOSE" = x1 -o "x$show" = x1 ] ; then
+ echo "$@"
+ [ "x$show" = x1 ] && exit 0
+fi
"$@"