Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-13 15:42:24 -0700 (Tue, 13 Sep 2005)
Revision: 1978
Log message:

      We used to have a problem with the '~' symbol in quoted strings:
      
      % echo "~"
      /home/nogin
      
      % echo '"~"'
      *** omake error:
         File -: line 2, characters 0-10
            Failure: "~": bad match
      
      This changes the shell lexing to escape the ~ symbol when inside a quoted
      string.
      
      

Changes	Path
+0 -1	omake/src/eval/omake_eval.ml
+0 -1	omake/src/shell/omake_shell_job.ml
+1 -1	omake/src/shell/omake_shell_lex.mll