--- device/lib/pic/Makefile.common.in.orig	Mon Nov 27 15:27:50 2006
+++ device/lib/pic/Makefile.common.in	Mon Nov 27 15:27:58 2006
@@ -12,7 +12,7 @@
 ### $Id: Makefile.common.in 4148 2006-05-01 20:47:12Z tecodev $
 ###
 
-SHELL = bash
+SHELL = ksh
 
 #################################################
 ### verboseness
