From 925d8becbf5145a1d88bd42fed2af0a63ef2ca01 Mon Sep 17 00:00:00 2001
From: Allen Ibara <uce.savannah@ibara.net>
Date: Wed, 15 Sep 2010 03:52:16 +0000
Subject: [PATCH] saveSettings depends on gtk_save_settings

---
 sw/ground_segment/cockpit/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sw/ground_segment/cockpit/Makefile b/sw/ground_segment/cockpit/Makefile
index c6a1c08209..b56a719689 100644
--- a/sw/ground_segment/cockpit/Makefile
+++ b/sw/ground_segment/cockpit/Makefile
@@ -62,6 +62,9 @@ $(MAIN).opt : $(CMX)
 	@echo OOC $<
 	$(Q)$(OCAMLOPT) $(OCAMLCFLAGS) $(INCLUDES) -c $<
 
+saveSettings.cmo : gtk_save_settings.cmo
+saveSettings.cmx: gtk_save_settings.cmx
+
 gtk_strip.ml : gcs.glade
 	lablgladecc2 -root eventbox_strip -hide-default $< | grep -B 1000000 "  end" > $@