diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-06-28 15:19:31 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-06-28 15:19:32 -0700 |
commit | 08080894b7bd68db413275e601286d94b40752bd (patch) | |
tree | 4541a9e47013b90380d18111c97df65d138aaf8b /cache.h | |
parent | defd7aa34c81148904ed5d22d975b5b3c843e040 (diff) | |
parent | 023e37c37780d6a56f2870a979c8eb3a9ee9a44d (diff) | |
download | git-08080894b7bd68db413275e601286d94b40752bd.tar.gz |
Merge branch 'mm/verify-filename-fix'
"git diff COPYING HEAD:COPYING" gave a nonsense error message that
claimed that the treeish HEAD did not have COPYING in it.
Diffstat (limited to 'cache.h')
-rw-r--r-- | cache.h | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -409,7 +409,9 @@ extern const char *setup_git_directory(void); extern char *prefix_path(const char *prefix, int len, const char *path); extern const char *prefix_filename(const char *prefix, int len, const char *path); extern int check_filename(const char *prefix, const char *name); -extern void verify_filename(const char *prefix, const char *name); +extern void verify_filename(const char *prefix, + const char *name, + int diagnose_misspelt_rev); extern void verify_non_filename(const char *prefix, const char *name); #define INIT_DB_QUIET 0x0001 |