diff options
Diffstat (limited to 'examples/numerals/MkScript.hs')
| -rw-r--r-- | examples/numerals/MkScript.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/numerals/MkScript.hs b/examples/numerals/MkScript.hs index 6a514d6b3..0b0890b5d 100644 --- a/examples/numerals/MkScript.hs +++ b/examples/numerals/MkScript.hs @@ -14,7 +14,7 @@ excluded = ["numerals.Abs.gf"] main :: IO () main = do - system "ls >files" + system "ls *.gf >files" s <- readFile "files" writeFile scriptFile $ unlines $ map mkOne $ filter (flip notElem excluded) $ lines s |