Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJb Evain <jbevain@gmail.com>2008-10-01 18:47:40 +0400
committerJb Evain <jbevain@gmail.com>2008-10-01 18:47:40 +0400
commit63aa2a39ef5878d746c9d943682c9cc017b39632 (patch)
tree721b44b7d597f152dc6d938e17cfae11b04a7b27 /scripts
parent8a79e77d0a82d68f7ebfb3654194ad16b588f61e (diff)
2008-10-01 Jb Evain <jbevain@novell.com>
* scripts/Makefile.am: add mono-cil-strip. svn path=/trunk/mono/; revision=114566
Diffstat (limited to 'scripts')
-rw-r--r--scripts/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/Makefile.am b/scripts/Makefile.am
index 7f881187c06..cf9ef505891 100644
--- a/scripts/Makefile.am
+++ b/scripts/Makefile.am
@@ -63,6 +63,7 @@ scripts_1_0 = \
mcs$(SCRIPT_SUFFIX) \
mjs$(SCRIPT_SUFFIX) \
monolinker$(SCRIPT_SUFFIX) \
+ mono-cil-strip$(SCRIPT_SUFFIX) \
mono-api-diff$(SCRIPT_SUFFIX) \
mono-shlib-cop$(SCRIPT_SUFFIX) \
mono-xmltool$(SCRIPT_SUFFIX) \