title: check if file with certain file extension present in folder using batch script
body: <p>I want to check a certain file extension in the folder using batch script</p>
  
  <p>Its like,</p>
  
  <pre><code>if exist &lt;any file with extension .elf&gt;
    do something
  else
    do something else
  </code></pre>
  
  <p>Here file name may be anything but only extension(.elf) is important</p>