diff options
| author | Bruce Mitchener <bruce.mitchener@gmail.com> | 2013-09-04 16:17:10 +0700 |
|---|---|---|
| committer | Bruce Mitchener <bruce.mitchener@gmail.com> | 2013-09-04 16:17:10 +0700 |
| commit | 85478073f70ed33a90731812a1d51859c0a048e2 (patch) | |
| tree | b55c3746bfd8735c73fc461f3a726f907f93b457 /emlibtool | |
| parent | 6eaaebf4dd9c1dbd38dba929199cd3121b666c0f (diff) | |
Remove unused / unwritten emlibtool.
This isn't used or even implemented and apparently isn't necessary.
Diffstat (limited to 'emlibtool')
| -rwxr-xr-x | emlibtool | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/emlibtool b/emlibtool deleted file mode 100755 index 1eb18edc..00000000 --- a/emlibtool +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env python2 - -''' -This is a helper script. See emcc. -''' - -import os, sys -from tools import shared - -raise Exception('TODO: emlibtool') - |