From 713a037475a345ff5c072755e646b0ef9192418d Mon Sep 17 00:00:00 2001 From: Tom Henderson Date: Wed, 25 May 2011 00:50:35 -0700 Subject: [PATCH] remove reference to emu.h --- src/emu/wscript | 1 - 1 file changed, 1 deletion(-) diff --git a/src/emu/wscript b/src/emu/wscript index 798ae8d15..08c0ceee0 100644 --- a/src/emu/wscript +++ b/src/emu/wscript @@ -26,7 +26,6 @@ def build(bld): headers = bld.new_task_gen('ns3header') headers.module = 'emu' headers.source = [ - 'doc/emu.h', ] if not bld.env['ENABLE_EMU']: