13 lines
140 B
Bash
Executable File
13 lines
140 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
|
|
rm ../source/thin/*.ads
|
|
rm ../source/thin/*.cxx
|
|
|
|
mv ./*.ads ../source/thin
|
|
mv ./*.cxx ../source/thin
|
|
|
|
|