From 93bbf8c054c036ea1d0772fb0c2dc24cd20becbb Mon Sep 17 00:00:00 2001
From: Martin Stjernholm <mast@lysator.liu.se>
Date: Sat, 16 Oct 1999 01:38:11 +0200
Subject: [PATCH] Added just_verify target.

Rev: Makefile:1.18
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 54fc83834d..bd722b6631 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile,v 1.17 1999/10/06 11:16:33 mast Exp $
+# $Id: Makefile,v 1.18 1999/10/15 23:38:11 mast Exp $
 #
 # Meta Makefile
 #
@@ -96,6 +96,9 @@ bin/pike: force
 install:
 	@$(MAKE) "METATARGET=install"
 
+just_verify:
+	@$(MAKE) $(MAKE_FLAGS) "METATARGET=just_verify"
+
 verify:
 	@$(MAKE) $(MAKE_FLAGS) "METATARGET=verify"
 
-- 
GitLab