Mercurial > hg > Gears > GearsAgda

changeset 340:54bfd016ad88

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
revert generate_context.pl
author mir3636
date Tue, 09 May 2017 17:05:12 +0900
parents 720e272299ad
children 5065d1e4adbb
files src/parallel_execution/generate_context.pl
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/parallel_execution/generate_context.pl	Tue May 09 16:36:39 2017 +0900
+++ b/src/parallel_execution/generate_context.pl	Tue May 09 17:05:12 2017 +0900
@@ -74,7 +74,7 @@
 my (%mCodeGear) = (%codeGear);
 
 # anyway we gather all Gears Information
-while (<*.c test/*.c $ddir/*.c $ddir/examples/*.c $ddir/test/*.c>) {
+while (<*.c test/*.c>) {
     next if (/context.c/);
     &getStubInfo($_);
 }