#! /bin/sh
-# Copyright (c) 2012-2015. The SimGrid Team.
+# Copyright (c) 2012-2017. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
;;
-o)
NEEDS_OUTPUT=0
- list_add CMDLINE "-o"
+ list_add CMDLINE "-o$1"
+ shift
;;
*)
list_add CMDLINE "${ARG}"