diff options
Diffstat (limited to 'media/pocketsphinx/update.sh')
| -rwxr-xr-x | media/pocketsphinx/update.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/media/pocketsphinx/update.sh b/media/pocketsphinx/update.sh new file mode 100755 index 000000000..af145f327 --- /dev/null +++ b/media/pocketsphinx/update.sh @@ -0,0 +1,14 @@ +#!/bin/sh +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +# +# Usage: ./update.sh <pocketsphinx_directory> +# +# Copies the needed files from a directory containing the original +# pocketsphinx source. + +cp $1/include/*.h . +cp $1/src/libpocketsphinx/*.c src/ +cp $1/src/libpocketsphinx/*.h src/ |