diff options
| author |  Lukacs Berki <lberki@google.com> | 2017-02-17 14:06:11 +0000 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-02-17 14:56:48 +0000 |
| commit | 76cb02e5a95f7a854eabe3221c366ea804696b17 (patch) | |
| tree | 26fe8a4ce883d15af65f8fa3019242ed7424fcbf /src/main/tools | |
| parent | 5d2ae52c032203575f145ca409f2b86f1e8c700b (diff) | |
Make the interface dynamic library builder a regular label instead of a magic artifact.
--
PiperOrigin-RevId: 147830857
MOS_MIGRATED_REVID=147830857
Diffstat (limited to 'src/main/tools')
| -rwxr-xr-x | src/main/tools/build_interface_so | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/main/tools/build_interface_so b/src/main/tools/build_interface_so deleted file mode 100755 index 626e707c6c..0000000000 --- a/src/main/tools/build_interface_so +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash - -if [[ $# != 2 ]]; then - echo "Usage: $0 <so> <interface so>" 1>&2 - exit 1 -fi - -exec cp $1 $2 |