make/linux/makefiles/vm.make

changeset 722
6e76352f1f62
parent 631
d1605aabd0a1
child 1445
354d3184f6b2
     1.1 --- a/make/linux/makefiles/vm.make	Fri Aug 15 10:08:20 2008 -0700
     1.2 +++ b/make/linux/makefiles/vm.make	Mon Aug 18 14:53:36 2008 -0700
     1.3 @@ -195,7 +195,7 @@
     1.4                if [ $$? = 0 ] ; then					\
     1.5  		/usr/bin/chcon -t textrel_shlib_t $@;                   \
     1.6  		if [ $$? != 0 ]; then                                   \
     1.7 -		  echo "ERROR: Cannot chcon $@"; exit 1;                \
     1.8 +		  echo "ERROR: Cannot chcon $@";			\
     1.9  		fi							\
    1.10  	      fi							\
    1.11  	    fi                                                          \

mercurial