PR# 10895 make_install and other scripts don't work if ISE_EIFFEL has spaces or special chars

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2006/08/04
Class: Bug
Severity: Non-critical
Number: 10895
Release: 5.7.62110
Confidential: No
Status: Open
Responsible: manus_eiffel
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.7) Gecko/20060120 Solaris 10 on x86
Synopsis: make_install and other scripts don't work if ISE_EIFFEL has spaces or special chars

Description
The make_install script (and probably a whole host of other
things, including generated Makefiles) won't run properly
if the value of ISE_EIFFEL is a directory path that contains
spaces or characters that are special to the shell.  Perhaps
most Unix users avoid such names.  It is probably not that
hard to fix (just involves proper quoting in a number of
places) but may not be high priority.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions