From 5abf19a2a38914fbfcd1520c081a54f353d01ed8 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 14 Apr 2009 16:58:26 +0000
Subject: [PATCH] Added a dummy sizes file for the dummy occamutl module

---
 Makefile.am         | 2 +-
 occamutl.tock.sizes | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 occamutl.tock.sizes

diff --git a/Makefile.am b/Makefile.am
index 39bbfb7..c0651d3 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -135,7 +135,7 @@ BUILT_SOURCES += frontends/LexRain.hs
 # For dummy modules:
 modules_DATA = 
 # For dummy lib files:
-tockinc_DATA = occamutl.tock.inc occamutl.tock.h
+tockinc_DATA = occamutl.tock.inc occamutl.tock.h occamutl.tock.sizes
 
 CLEANFILES = $(BUILT_SOURCES) $(config_sources)
 
diff --git a/occamutl.tock.sizes b/occamutl.tock.sizes
new file mode 100644
index 0000000..e69de29