2024-07-09 14:58:07 +02:00
|
|
|
#!/usr/bin/env bash
|
2024-01-03 20:15:30 +01:00
|
|
|
|
2024-08-15 16:54:51 +02:00
|
|
|
# This script show the contents of the "stage" and "sysroot" folders in some recipe
|
|
|
|
|
2024-01-03 20:15:30 +01:00
|
|
|
if [ -z "$*" ]
|
|
|
|
then
|
|
|
|
echo "Show the contents of the stage and sysroot folders in recipe(s)"
|
|
|
|
echo "Usage: $0 recipe1 ..."
|
|
|
|
echo "Must be run from the 'redox' directory"
|
|
|
|
echo "e.g. $0 kernel"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
find_recipe="target/release/find_recipe"
|
|
|
|
if [ ! -x "cookbook/$find_recipe" ]
|
|
|
|
then
|
|
|
|
echo "$find_recipe not found."
|
|
|
|
echo "Please run 'make fstools' and try again."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
for recipe in $*
|
|
|
|
do
|
|
|
|
recipe_dir="$(cd cookbook; "$find_recipe" "$recipe")"
|
|
|
|
ls -1 "cookbook/$recipe_dir/target"/*/{stage,sysroot}
|
|
|
|
done
|