savedcmd_scripts/gcc-plugins/randomize_layout_seed.h := SEED=$$(cat scripts/basic/randstruct.seed </dev/null); echo '/*' > scripts/gcc-plugins/randomize_layout_seed.h; echo ' * This file is automatically generated. Keep it private.' >> scripts/gcc-plugins/randomize_layout_seed.h; echo ' * Exposing this value will expose the layout of randomized structures.' >> scripts/gcc-plugins/randomize_layout_seed.h; echo ' */' >> scripts/gcc-plugins/randomize_layout_seed.h; echo "const char *randstruct_seed = \"$$SEED\";" >> scripts/gcc-plugins/randomize_layout_seed.h
