diff --git a/set_command_envs b/set_command_envs
index 6e9320cbb1d8c4b35d6cd6573bb2bcb95000ef82..f7a147ae85c8280308c7351806ff6a5d2153545c 100644
--- a/set_command_envs
+++ b/set_command_envs
@@ -1,5 +1,6 @@
 export PS_OBJDUMP=`which objdump`
 export PS_OBJCOPY=`which objcopy`
+export PS_READELF=`which readelf`
 export PS_NM=`which nm`
 export PS_STRIP=`which strip`
 export PS_DATE="date --iso-8601=seconds"