From 6bce8e3969d1d7039ea10d88666c8ec300bff19e Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Wed, 6 Aug 2008 18:00:21 +0000
Subject: [PATCH] continued...

---
 ...YOUR_SCRIPT_TO_THIS_FILE_OR_ELSE_IT_WONT_GET_DEPLOYED | 9 +++++++++
 factory/Makefile                                         | 8 +++++++-
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100644 factory/ADD_YOUR_SCRIPT_TO_THIS_FILE_OR_ELSE_IT_WONT_GET_DEPLOYED

diff --git a/factory/ADD_YOUR_SCRIPT_TO_THIS_FILE_OR_ELSE_IT_WONT_GET_DEPLOYED b/factory/ADD_YOUR_SCRIPT_TO_THIS_FILE_OR_ELSE_IT_WONT_GET_DEPLOYED
new file mode 100644
index 0000000..e41e335
--- /dev/null
+++ b/factory/ADD_YOUR_SCRIPT_TO_THIS_FILE_OR_ELSE_IT_WONT_GET_DEPLOYED
@@ -0,0 +1,9 @@
+comon_exec
+dcookie
+hide_netif
+pfmount
+pl-ps
+portsummary
+setup-link
+setup-nat
+vtop
diff --git a/factory/Makefile b/factory/Makefile
index 20e4b76..f9f31a2 100644
--- a/factory/Makefile
+++ b/factory/Makefile
@@ -1,6 +1,12 @@
 CC=gcc
 CFLAGS=-g -O2
 
+SCRIPT_LIST:=$(shell cat ADD_YOUR_SCRIPT_TO_THIS_FILE_OR_ELSE_IT_WONT_GET_DEPLOYED | sed 's/\n/ /g')
+
 all: dcookie
+	touch .done
+	cp $(SCRIPT_LIST) exec
+
 
-clean: rm -f exec/*
+clean: 
+	rm -f exec/*
-- 
2.47.0