diff options
| author | 2016-11-07 20:28:25 +0000 | |
|---|---|---|
| committer | 2016-11-07 20:28:26 +0000 | |
| commit | d834009ee15800ec64a3dbbf7160f44023a0af03 (patch) | |
| tree | 02ac58fd2b6f0ff4ff17b2adbb6e33b722d8ba4a /compiler/generate-operator-out.py | |
| parent | 8ef4642ef27a0acf8dce07b174adea3e7f997846 (diff) | |
| parent | f657ed0472ea64e12a6d5aa7c98967c8abcf361b (diff) | |
Merge "Support genrules with multiple tools"
Diffstat (limited to 'compiler/generate-operator-out.py')
| l--------- | compiler/generate-operator-out.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/generate-operator-out.py b/compiler/generate-operator-out.py new file mode 120000 index 0000000000..cc291d20c1 --- /dev/null +++ b/compiler/generate-operator-out.py @@ -0,0 +1 @@ +../tools/generate-operator-out.py
\ No newline at end of file |