diff options
| author | Joshua Haberman <jhaberman@gmail.com> | 2018-09-06 13:07:09 -0700 |
|---|---|---|
| committer | Joshua Haberman <jhaberman@gmail.com> | 2018-09-06 13:07:09 -0700 |
| commit | 33d1231ead8ffbeb97e6c97b9e9a06ace64abd65 (patch) | |
| tree | c3e911c436bf729dee15c31e7168e792435c34d1 /upb/port_undef.inc | |
| parent | f7713ebc391d247617b0dff788a76e5c3383ae94 (diff) | |
Added port_def.inc and port_undef.inc.
Diffstat (limited to 'upb/port_undef.inc')
| -rw-r--r-- | upb/port_undef.inc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/upb/port_undef.inc b/upb/port_undef.inc new file mode 100644 index 0000000..7db97ca --- /dev/null +++ b/upb/port_undef.inc @@ -0,0 +1,5 @@ + +#undef UPB_SIZE +#undef UPB_FIELD_AT +#undef UPB_READ_ONEOF +#undef UPB_WRITE_ONEOF |