annotate cgitools/fetch/Makefile @ 38:68a4f2d8930e

Add stuff for automatic feedback timeout.
author David A. Holland
date Sun, 15 Jun 2014 17:21:54 -0400
parents 5f36d8d69aba
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
1 TOP=../..
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
2 include $(TOP)/mk/base.mk
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
3 include ../cgitools.mk
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
4
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
5 SCRIPT=fetch.py
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
6
5f36d8d69aba Set up a build framework.
David A. Holland
parents:
diff changeset
7 include $(TOP)/mk/script.mk