summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/mfluadir/mfluac.c4
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;
/**************************************************************/
/* */