diff options
-rw-r--r-- | Build/source/texk/web2c/mfluadir/mfluac.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/mfluadir/mfluac.c b/Build/source/texk/web2c/mfluadir/mfluac.c index 391e157c76c..9f709149d19 100644 --- a/Build/source/texk/web2c/mfluadir/mfluac.c +++ b/Build/source/texk/web2c/mfluadir/mfluac.c @@ -15,8 +15,8 @@ #endif /* See shell_cmd_is_allowed below */ -shellenabledp = 1; -restrictedshell = 0; +int shellenabledp = 1; +int restrictedshell = 0; /**************************************************************/ /* */ |