diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:45:26 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:45:26 +0200 |
commit | d5148f2e013a7c0e4cced043d0a01a7fb0d3f069 (patch) | |
tree | 15e5ef6cc802478c7157e374d005caf10bd71d23 /passes/cmds/Makefile.inc | |
parent | e07698818dfe3c8e5f87b13090c7e70d22189e2a (diff) |
Moved "share" and "wreduce" to passes/opt/
Diffstat (limited to 'passes/cmds/Makefile.inc')
-rw-r--r-- | passes/cmds/Makefile.inc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc index 4cf61150..eba61d1d 100644 --- a/passes/cmds/Makefile.inc +++ b/passes/cmds/Makefile.inc @@ -20,6 +20,5 @@ OBJS += passes/cmds/write_file.o OBJS += passes/cmds/connwrappers.o OBJS += passes/cmds/cover.o OBJS += passes/cmds/trace.o -OBJS += passes/cmds/wreduce.o OBJS += passes/cmds/plugin.o |