gprtodng.sh - bin.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/gprtodng.sh

blob: 8ed6ead603cc0f941db57ac04e5212c9f1fbcb7b (plain)

1
2
3

for f in `find . -maxdepth 1 -type f -name "*.GPR"`; do
    ~/./bin/gpr/build/source/app/gpr_tools/gpr_tools -i $f "${f%%.*}.DNG"
done