diff options
Diffstat (limited to 'math/isabelle/files/patch-etc-settings')
| -rw-r--r-- | math/isabelle/files/patch-etc-settings | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/isabelle/files/patch-etc-settings b/math/isabelle/files/patch-etc-settings index 7fa19cbfcb4e..07944e074d80 100644 --- a/math/isabelle/files/patch-etc-settings +++ b/math/isabelle/files/patch-etc-settings @@ -34,7 +34,7 @@ +ML_SYSTEM=%%ML_SYSTEM%% +ML_HOME=%%ML_HOME%% +ML_OPTIONS=%%ML_OPTIONS%% -+ML_PLATFORM=x86-bsd ++ML_PLATFORM=%%ML_PLATFORM%% +ML_DBASE=%%ML_DBASE%% ### |