[m-rev.] diff: fix Windows path bug

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main, release

compiler/options_file.m:
	Don't remove backslashes unless they escape something.
	This caused problems with Windows-style paths.

Index: options_file.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options_file.m,v
retrieving revision 1.17
diff -u -r1.17 options_file.m
--- options_file.m	15 Mar 2003 03:09:04 -0000	1.17
+++ options_file.m	28 Apr 2003 14:23:53 -0000
@@ -745,8 +745,13 @@
 			Chars = []
 		;
 			Chars0 = [Char2 | Chars1],
-			get_word_2([Char2 | RevWord0], RevWord,
-				Chars1, Chars)
+			( ( Char2 = '"' ; Char2 = ('\\') ) ->
+				get_word_2([Char2 | RevWord0], RevWord,
+					Chars1, Chars)
+			;
+				get_word_2([Char2, Char | RevWord0], RevWord,
+					Chars1, Chars)
+			)
 		)
 	;
 		get_word_2([Char | RevWord0], RevWord, Chars0, Chars)
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------