mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 06:22:28 +01:00
9 lines
215 B
Bash
9 lines
215 B
Bash
|
#!/bin/bash
|
||
|
|
#
|
||
|
|
# revert changes to all generated files. this is useful in some situations
|
||
|
|
# when merging changes between branches.
|
||
|
|
|
||
|
|
set -eu
|
||
|
|
|
||
|
|
svn revert include/pars0grm.h pars/pars0grm.h pars/lexyy.c pars/pars0grm.c
|