X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fautomake.mk;h=b8ee5b3b4a8bb73701c0885aadb5b0f28ec31708;hb=a56104575c4db202bfc5db3079ea969820d77867;hp=abcf76280fd2061c670d0a693078b4220dd1d096;hpb=8159b984dced44851670bd48e204b4e854941a24;p=openvswitch

diff --git a/vswitchd/automake.mk b/vswitchd/automake.mk
index abcf7628..b8ee5b3b 100644
--- a/vswitchd/automake.mk
+++ b/vswitchd/automake.mk
@@ -9,8 +9,6 @@ DISTCLEANFILES += \
 vswitchd_ovs_vswitchd_SOURCES = \
 	vswitchd/bridge.c \
 	vswitchd/bridge.h \
-	vswitchd/proc-net-compat.c \
-	vswitchd/proc-net-compat.h \
 	vswitchd/ovs-vswitchd.c \
 	vswitchd/system-stats.c \
 	vswitchd/system-stats.h \
@@ -102,5 +100,7 @@ vswitchd/vswitch.ovsschema.stamp: vswitchd/vswitch.ovsschema
 	  touch $@; \
 	else \
 	  ln=`sed -n '/"cksum":/=' $?`; \
-	  echo "$?:$$ln: checksum \"$$sum\" does not match (you should probably update the version number and fix the checksum)"; \
+	  echo >&2 "$?:$$ln: checksum \"$$sum\" does not match (you should probably update the version number and fix the checksum)"; \
+	  exit 1; \
 	fi
+CLEANFILES += vswitchd/vswitch.ovsschema.stamp