#!/bin/bash
+# Copyright (c) 2011, 2014. 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.
+
declare -a OPTIONS
OPTIONS=(
-kr # Use Kernighan & Ritchie coding style.