comparison makefile.wpm @ 1717:8228b3cf8f37

Same fix on Windows as I just committed on OS/2.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Tue, 08 May 2012 18:14:48 +0000
parents 3fb7002e4de6
children e113f9e46fbd
comparison
equal deleted inserted replaced
1716:b39c137cc6f5 1717:8228b3cf8f37