diff options
Diffstat (limited to 'readline')
| -rw-r--r-- | readline/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/readline/Makefile.in b/readline/Makefile.in index bef6182..52d2e47 100644 --- a/readline/Makefile.in +++ b/readline/Makefile.in @@ -124,6 +124,11 @@ stage3: force -mkdir stage3 -mv $(STAGESTUFF) stage3 +against=stage2 + +comparison: force + for i in $(STAGESTUFF) ; do cmp $$i $(against)/$$i ; done + de-stage1: force - (cd stage1 ; mv -f * ..) - rmdir stage1 |