#! /bin/bash -f
#
# Create 1000 random configuration files in the current directory.

DIR_SOURCE=$HOME/linux

for i in 0 1 2 3 4 5 6 7 8 9 ; do
    for j in 0 1 2 3 4 5 6 7 8 9 ; do
	for k in 0 1 2 3 4 5 6 7 8 9 ; do
	    mconfig						\
		--mode random					\
		--seed $(( $i * 100 + $j * 10 + $k ))		\
		--dir-source=$DIR_SOURCE			\
		--no-file-config-in				\
		--file-config-out config.$i$j$k			\
		--file-autoconf-h autoconf.$i$j$k		\
		--no-dir-include-config
	done
	# actually 10 is enough for testing purposes
	exit 0
    done
done
