diff src/typedefs.h @ 933:8c5ba3e94e54

warn about changed file extensions
author nadvornik
date Sat, 26 Jul 2008 19:01:20 +0000
parents a53f5141228b
children fd84847c8231
line wrap: on
line diff
--- a/src/typedefs.h	Sat Jul 26 18:33:49 2008 +0000
+++ b/src/typedefs.h	Sat Jul 26 19:01:20 2008 +0000
@@ -154,14 +154,15 @@
 	CHANGE_WARN_DEST_EXISTS        = 1 << 0,
 	CHANGE_WARN_NO_WRITE_PERM      = 1 << 1,
 	CHANGE_WARN_SAME               = 1 << 2,
-	CHANGE_ERROR_MASK              = (~0) << 3, /* the values below are fatal errors */
-	CHANGE_NO_READ_PERM            = 1 << 3,
-	CHANGE_NO_WRITE_PERM_DIR       = 1 << 4,
-	CHANGE_NO_DEST_DIR             = 1 << 5,
-	CHANGE_NO_WRITE_PERM_DEST_DIR  = 1 << 6,
-	CHANGE_NO_WRITE_PERM_DEST      = 1 << 7,
-	CHANGE_DEST_EXISTS             = 1 << 8,
-	CHANGE_NO_SRC                  = 1 << 9,
+	CHANGE_WARN_CHANGED_EXT        = 1 << 3,
+	CHANGE_ERROR_MASK              = (~0) << 4, /* the values below are fatal errors */
+	CHANGE_NO_READ_PERM            = 1 << 4,
+	CHANGE_NO_WRITE_PERM_DIR       = 1 << 5,
+	CHANGE_NO_DEST_DIR             = 1 << 6,
+	CHANGE_NO_WRITE_PERM_DEST_DIR  = 1 << 7,
+	CHANGE_NO_WRITE_PERM_DEST      = 1 << 8,
+	CHANGE_DEST_EXISTS             = 1 << 9,
+	CHANGE_NO_SRC                  = 1 << 10,
 	CHANGE_GENERIC_ERROR           = 1 << 16
 } ChangeError;