build
changeset 2 62ddf5dd4db0
parent 0 826dd5531eb0
child 4 fdf04a93faeb
--- a/build
+++ b/build
@@ -12,10 +12,10 @@
 
 make all
 
-if [ ! -f /etc/gentoo-release ]
+if [ ! -f /etc/debian_version ];
 then
 	./post-install;
 else
-	echo "Skipping post-install, handled by ebuild";
+	echo "Skipping post-install, handled by dpkg";
 fi