# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1370513234 -7200
# Node ID b621e2a690dd1213fc44d55fb1c9868f5a0959fa
# Parent  6dfd53575553e4966f63cd9e155a54e3dd9cde66
assert that -G: options are unique

diff -r 6dfd53575553 -r b621e2a690dd graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Thu Jun 06 10:10:46 2013 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Thu Jun 06 12:07:14 2013 +0200
@@ -37,7 +37,8 @@
         for (OptionProvider provider : sl) {
             if (provider.getClass().getName().startsWith("com.oracle.graal")) {
                 String name = provider.getName();
-                options.put(name, provider);
+                OptionProvider existing = options.put(name, provider);
+                assert existing == null : name + " option has multiple definitions: " + existing.getClass() + " and " + provider.getClass();
             }
         }
     }