Normand Briere
2019-08-17 ecc1309a04b527c62ffe97e814daf050dbd025cd
Grafreed.java
....@@ -676,7 +676,8 @@
676676
677677 public static void main(String argv[])
678678 {
679
- String osArch = System.getProperty("os.arch");
679
+ String osArch = System.getProperty("os.arch");
680
+ if (Globals.DEBUG)
680681 System.out.println("os.arch = " + osArch);
681682
682683 if (argv.length == 0)