diff Makefile @ 13322:078e32bc2f59

Added one more error check. Forgot it last time (grrr :) ).
author ivo
date Sun, 12 Sep 2004 01:35:41 +0000
parents ce046ef860da
children 0f92ad66bbb5
line wrap: on
line diff