Cross Reference: Makefile
xref: /hets/Common/test/Makefile
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
Makefile revision 07dbc9323242b75da40b769d646f52e323ec694e
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy# $Id$
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy.PHONY: check
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedycheck: annos
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy bash runcheck.sh ../annos
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedyoutput: annos
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy bash runcheck.sh ../annos set
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedyannos:
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy if test ! -x ../annos; then (cd ..; ./ghc-call); fi
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy%:
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy (cd ../..; $(MAKE) $@)
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy
f38cb554a534c6df738be3f4d23327e69888e634John Wren Kennedy

Indexes created Tue Jul 24 14:28:13 CEST 2018