Parent Directory | Revision Log | Patch
revision 1.18 by benja, Wed Oct 9 22:44:32 2002 UTC | revision 1.19 by tjl, Thu Oct 10 05:10:21 2002 UTC | |
---|---|---|
# | Line 172 if __name__ == '__main__': | Line 172 if __name__ == '__main__': |
172 | test = args | test = args |
173 | try: | try: |
174 | if test.index('jni') >=0: | if test.index('jni') >=0: |
175 | print "Enabling jni" | |
176 | enableJNI = true | enableJNI = true |
177 | test.remove('jni') | test.remove('jni') |
178 | except ValueError: | except ValueError: |
179 | pass | pass |
180 | class Starter(java.lang.Runnable): | class Starter(java.lang.Runnable): |
181 | def run(self): | def run(self): |
182 | unittest.TextTestRunner(verbosity=2).run(suite(test)) | unittest.TextTestRunner(verbosity=2).run(suite(test)) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |