diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-05-20 23:43:13 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-05-21 01:16:09 -0700 |
commit | 8824689884a5673f803d77cda499f83b84145a06 (patch) | |
tree | 80b6437ce3928cf4e299c7ecd52d52e3e18a6eb5 /diff.h | |
parent | 845ae27bf8161063d7e2e1ca2a76b05bf5d07192 (diff) | |
download | git-8824689884a5673f803d77cda499f83b84145a06.tar.gz |
diff family: add --check option
Actually, it is a diff option now, so you can say
git diff --check
to ask if what you are about to commit is a good patch.
[jc: this also would work for fmt-patch, but the point is that
the check is done before making a commit. format-patch is run
from an already created commit, and that is too late to catch
whitespace damaged change.]
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'diff.h')
-rw-r--r-- | diff.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -153,6 +153,7 @@ extern int diff_queue_is_empty(void); #define DIFF_FORMAT_NAME 4 #define DIFF_FORMAT_NAME_STATUS 5 #define DIFF_FORMAT_DIFFSTAT 6 +#define DIFF_FORMAT_CHECKDIFF 7 extern void diff_flush(struct diff_options*); |