diff --git a/build.xml b/build.xml
index 94716ee..f45f461 100755
--- a/build.xml
+++ b/build.xml
@@ -5,6 +5,7 @@
 	    <property name="jar-dir" value="jars"/>    <!-- directory where the jars are generated -->
 	    <property name="jar-name" value="tejas"/>  <!-- name of the jar -->
 	    <property name="main-class" value="main.Main"/> <!-- path to the main class -->
+<!--	    <property name="PIN-and-file" value="true"/> --> <!-- comment line for file-interface-only; uncomment otherwise -->
 	<!-- ________________________ -->
 
     <property environment="env"/>
@@ -66,9 +67,9 @@
             <arg value="clean"/>
         </exec>
     </target>
-    <target name="build-pin">
-	    <exec dir="src/emulator/pin" executable="make">
-        </exec>
+    <target name="build-pin" if="PIN-and-file">
+	<exec dir="src/emulator/pin" executable="make">    
+	    </exec>
     </target>
     <target name="make-jar" depends="build">
         <mkdir dir="${jar-dir}"/>
@@ -78,12 +79,4 @@
             </manifest>
         </jar>
     </target>
-    <target name="make-fileInterface-jar" depends="build-subprojects,build-project">
-        <mkdir dir="${jar-dir}"/>
-        <jar destfile="${jar-dir}/${jar-name}.jar" basedir="bin">
-            <manifest>
-                <attribute name="Main-Class" value="${main-class}"/>
-            </manifest>
-        </jar>
-    </target>
 </project>