Allow floating point values in memory command line options

gap-system · Apr 10, 2019 · d57645b · d57645b
1 parent 27c845b
commit d57645b
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/system.c b/src/system.c
@@ -868,7 +868,7 @@ static sizeMultiplier memoryUnits[]= {
 
 static UInt ParseMemory( Char * s)
 {
-  UInt size  = atol(s);
+  double size = atof(s);
   Char symbol =  s[strlen(s)-1];
   UInt i;
   UInt maxmem;
@@ -882,10 +882,9 @@ static UInt ParseMemory( Char * s)
     if (symbol == memoryUnits[i].symbol) {
       UInt value = memoryUnits[i].value;
       if (size > maxmem/value)
-        size = maxmem;
+        return maxmem;
       else
-        size *= value;
-      return size;
+        return size * value;
     }      
   }
   if (!IsDigit(symbol))