Commit 5860730b authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Fix warning when USE_READLINE is unset

parent dfcbf782
...@@ -158,11 +158,15 @@ builtin_commands = [ ...@@ -158,11 +158,15 @@ builtin_commands = [
-- --
-- NOTE: in order for us to override the default correctly, any custom entry -- NOTE: in order for us to override the default correctly, any custom entry
-- must be a SUBSET of word_break_chars. -- must be a SUBSET of word_break_chars.
word_break_chars, flagWordBreakChars, filenameWordBreakChars :: String #ifdef USE_READLINE
word_break_chars :: String
word_break_chars = let symbols = "!#$%&*+/<=>?@\\^|-~" word_break_chars = let symbols = "!#$%&*+/<=>?@\\^|-~"
specials = "(),;[]`{}" specials = "(),;[]`{}"
spaces = " \t\n" spaces = " \t\n"
in spaces ++ specials ++ symbols in spaces ++ specials ++ symbols
#endif
flagWordBreakChars, filenameWordBreakChars :: String
flagWordBreakChars = " \t\n" flagWordBreakChars = " \t\n"
filenameWordBreakChars = " \t\n\\`@$><=;|&{(" -- bash defaults filenameWordBreakChars = " \t\n\\`@$><=;|&{(" -- bash defaults
......
Markdown is supported
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