define isatty() on architectures that lack it

[simgrid.git] / src / xbt / automaton / parserPromela.lex

diff --git a/src/xbt/automaton/parserPromela.lex b/src/xbt/automaton/parserPromela.lex
index 1ed9b9e..04384ea 100644 (file)
--- a/src/xbt/automaton/parserPromela.lex
+++ b/src/xbt/automaton/parserPromela.lex
@@ -11,6 +11,9 @@
 #include "simgrid_config.h"
 #ifndef HAVE_UNISTD_H
 #define YY_NO_UNISTD_H /* hello Windows */
+static int isatty(int fd) {
+  return 0;
+}
 #endif
 
 #include <stdio.h>