diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-04-09 03:14:17 -0400 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-04-09 03:14:17 -0400 |
| commit | 7a8d0d8bc2572707c9d35006f30ea835c86954b0 (patch) | |
| tree | dedb9a65c1698202ad485378b4186b667008abe5 /glew/auto/bin/update_ext.sh | |
| parent | 818324678bd5dca790c57048e5012d2937a4b5e5 (diff) | |
first draft to generate waves
Diffstat (limited to 'glew/auto/bin/update_ext.sh')
| -rw-r--r-- | glew/auto/bin/update_ext.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/glew/auto/bin/update_ext.sh b/glew/auto/bin/update_ext.sh new file mode 100644 index 0000000..0ee3af1 --- /dev/null +++ b/glew/auto/bin/update_ext.sh @@ -0,0 +1,26 @@ +#!/usr/bin/env bash +## +## Copyright (C) 2008-2019, Nigel Stewart <nigels[]users sourceforge net> +## Copyright (C) 2002-2008, Marcelo E. Magallon <mmagallo[]debian org> +## Copyright (C) 2002-2008, Milan Ikits <milan ikits[]ieee org> +## +## This program is distributed under the terms and conditions of the GNU +## General Public License Version 2 as published by the Free Software +## Foundation or, at your option, any later version. +## +## Parameters: +## +## $1: Extensions directory +## $2: Registry directory +## $3: The black list + +set -e + +if [ ! -d $1 ] ; then + mkdir -p $1 + +# Parse each of the extensions in the registry + find $2 -name doc -type d -prune -o -name "*.txt" -print | \ + grep -v -f $3 | sort | bin/parse_spec.pl $1 + +fi |