Commit 174e46d5 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-16 11:06:10 by simonmar]

add newline to "WARNING: error while reading directory" message.
parent 1965e001
-----------------------------------------------------------------------------
-- $Id: DriverUtil.hs,v 1.26 2001/07/23 20:19:53 sof Exp $
-- $Id: DriverUtil.hs,v 1.27 2001/08/16 11:06:10 simonmar Exp $
--
-- Utils for the driver
--
......@@ -61,7 +61,7 @@ optionRegex = mkRegex "\\{-#[ \t]+OPTIONS[ \t]+(.*)#-\\}" -- -}
softGetDirectoryContents d
= IO.catch (getDirectoryContents d)
(\_ -> do hPutStr stderr
(\_ -> do hPutStrLn stderr
("WARNING: error while reading directory " ++ d)
return []
)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment