view TOOLS/realcodecs/drv3.sh @ 17974:9a5a62f480e6

Rename the default GUI skins directory from 'Skin' to 'skins', keeping backwards compatibility.
author diego
date Mon, 27 Mar 2006 11:39:27 +0000
parents 86c478bea7ce
children
line wrap: on
line source

rm drv3.so.6.0
gcc -c drv3.c -g &&
ld -shared -o drv3.so.6.0 drv3.o -ldl -lc